Nature公开谷歌IMO金牌模型技术细节，核心团队仅10人，一年给AI编出8000万道数学题训练
依然是Nature刊发的形式，放出了AlphaProof的完整论文，首次详细公开了其背后的技术架构和训练方法。值得一提的是，无师自通的下棋AlphaZero，也在这次论文里被多次提及。
imo
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人
依然是Nature刊发的形式，放出了AlphaProof的完整论文，首次详细公开了其背后的技术架构和训练方法。值得一提的是，无师自通的下棋AlphaZero，也在这次论文里被多次提及。
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
Harmonic团队Aristotle：自动定理证明达IMO金牌水平
这项由Harmonic团队开发的突破性研究成果发表于2025年10月，论文编号为arXiv:2510.01346v1。感兴趣深入了解的读者可以通过该论文编号查询完整的技术细节和实验数据。
imo harmo aristotle harmonic团队 2025-10-30 22:43 4
28项受MIT官方认可的赛事，锤炼顶尖学府认可的核心能力
高分或许能为你打开申请的大门，但真正决定你能否踏入MIT、斯坦福这类学府的，是你在科学世界中“重新定义问题”的能力。现在梳理出25项受MIT官方认可的赛事，它们覆盖学科奥赛、前沿科研、机器人与创客四大方向，其价值在于清晰展示你应对学术殿堂级挑战的核心素养：如何
6年后，新造船市场规模将增至1.6万亿元！
市场调研机构Maximize Market Research近期发布的造船市场报告显示，在环保法规收紧与老旧船舶更新需求的推动下，2024年全球造船市场规模约1621亿美元，预计未来8年的年均增速为4.4%，2032年将达到约2288亿美元（按当前汇率约人民币
IMO会议出惊天黑幕！特朗普勾结沙特搞破坏，小国或面临灭顶之灾
伦敦会场里，空调开到19℃，代表们围着一张纸吵了八小时。那张纸写着：每吨二氧化碳收100到380美元，钱拿来给船换清洁燃料。听起来像普通账单，对马尔代夫来说，却是国土保险。平均海拔一米，再涨四十五厘米，七成土地得搬家。瓦努阿图更惨，GDP的6%年年被台风撕走，
美国施压，全球航运业减排计划搁浅
“美国搅黄国际航运减排计划！”法国24小时新闻电视台18日以此为题报道称，17日，在伦敦举行的国际海事组织（IMO）海洋环境保护委员会特别会议上，受美国威胁对支持国家实施制裁的影响，一项拟定的旨在限制全球航运业温室气体排放的框架提案被迫搁置，各方决定将最终表决
中国大模型再破记录!蚂蚁开源全球首个&
蚂蚁集团在14号深夜突然官宣，正式发布全球首个开源的万亿参数思考模型Ring-1T。
蚂蚁发布并开源万亿参数思考模型Ring-1T，综合能力逼近GPT-5
10月14日凌晨，蚂蚁集团正式推出万亿参数思考模型Ring-1T，并全面开源模型权重、训练配方。Ring-1T在9月30日开源的预览版Ring-1T-preview基础上，持续扩展大规模可验证奖励强化学习（RLVR）训练，进一步激发万亿基座的自然语言推理能力，
News Express｜Overview of Recent IMO Meetings
The Sub-Committee on Carriage of Cargoes and Containers (CCC), chaired by Mr. David Anderson (Australia), held its eleventh sessio
imo ex imomeetings newsexpress 2025-10-10 18:05 2
广州0元拍照?没人的小众ins街道！很好拍
就在大石长岗山庄?到imo就能看到啦！这次我搭配的黄色衬衫?+蓝色?配的包包~Kipling小方包ABANU粉拼银拉链款方正外形少女气息拉满！很适合清新的穿搭配色多个口袋分类很合理也很轻日常出门citywalk，五折伞、气垫、口红、钥匙都能分开放下~粉色
韦东奕：矿泉水瓶里的数学宇宙
清晨六点半的北大未名湖畔，薄雾还没散，一个高瘦的身影正往数学科学学院办公楼赶。1米8多的个子裹在洗得发皱的灰冲锋衣里，肩背微微前倾，眼睛总眯着，像蒙着层细雾似的没完全睁开，走路时步子迈得又快又急，头低着盯着脚下的路，活像赶早班车怕迟到的人，连鞋尖蹭到落叶、踩碎
News Express｜A historic milestone for ocean conservation in IMO
The treaty, formally known as the Agreement under the United Nations Convention on the Law of the Sea on the Conservation and Sust
imo milestone historicmileston 2025-09-30 14:03 3
绿色甲醇概念股表现活跃，嘉泽新能3连板
绿色甲醇概念股表现活跃，嘉泽新能3连板，东华科技2连板，复洁环保、佛燃能源跟涨。消息面上，报道称IMO批准了全球航运净零排放框架，该框架计划于今年10月份的IMO会议上正式通过。（科股宝播报）
Learning Online｜IMO， WHAT IT does (5)
1965年，国际海事组织（IMO）通过了《便利国际海上运输公约》（FAL公约），旨在减少海上运输中的不必要延误，促进各国政府间合作，并确保船舶在抵达、逗留和离开过程中所涉及的各项手续和程序尽可能统一。该公约于1967年生效。
it imo learning learningonline 2025-09-28 18:03 4
第十四届绿色船舶技术中国2025峰会顺利召开
由上海利奇商务咨询有限公司Ridge China主办14年的年会第十四届绿色船舶技术中国2025峰会(GSCC 2025)，于2025年9月25日- 26日，如期在上海明捷万丽酒店顺利召开。
两型3艘超13亿！招商南油订造新船
根据公告，为优化公司乙烯船队运力结构，改善船队运营能力，巩固公司在乙烯运输市场的领先地位，招商南油董事会同意下属控股子公司上海长石海运有限公司以合同价格3.65亿元人民币（含税），在关联方招商局工业集团扬州鼎衡船舶有限公司新建一艘9500立方米乙烯船，预计20
海事网络安全：隐于水下的巨大危机
作为全球贸易支柱的海上运输业，正在适应经济、政治和技术条件的变迁。技术进步提升了效率，带来了远程货物监控、先进能源管理系统及多种船上操作自动化等创新。
仅1/3需求达标！这一重大目标恐将偏离轨道
2025年9月16日，全球海事论坛(Global Maritime Forum)发布了《航运业2030年突破进展》报告2025版(第四份年度报告)。报告显示，航运业目前仍未走上实现“到2030年国际航运零排放燃料应用占比至少5%-10%”气候目标的正轨。